<?php
function endBattle($battleID)
{
	$query = "UPDATE battles SET finish=1 WHERE battleID=$battleID";
	mysql_query($query);
}
?>